Results for 'Harold K. Vanderpool'

958 found
Order:
  1. One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. (1 other version)North Korean Decisionmaking.John V. Parachini, Scott W. Harold, Gian Gentile, Derek Grossman, K. I. M. Leah Heejin, M. A. Logan, Michael J. Mazarr & Linda Robinson - 2020 - Santa Monica, Calif., USA: The RAND Corporation.
    Discerning the decisionmaking of Kim Jong-Un and the North Korean regime on issues of peaceful engagement and warlike actions endures as a mighty challenge for U.S. intelligence analysts and policymakers. In this report, we seek to inform analysis of Democratic People’s Republic of Korea (DPRK) leadership decisionmaking. To do so, we use three discussion papers that were written to facilitate discussion of an interagency working group. The three papers are assembled here in a single report. The first discussion paper describes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. One-Step Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):873-910.
    Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Modal Theory Of Pure Identity And Some Related Decision Problems.Harold T. Hodes - 1984 - Mathematical Logic Quarterly 30 (26-29):415-423.
    Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.
    Download  
     
    Export citation  
     
    Bookmark  
  5. On Resisting Art.James Harold - 2023 - Journal of Aesthetics and Art Criticism 81 (1):35-45.
    What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Classifying Psychopathology: Mental Kinds and Natural Kinds.Harold Kincaid & Jacqueline Anne Sullivan - 2014 - In Harold Kincaid & Jacqueline Anne Sullivan (eds.), Classifying Psychopathology: Mental Kinds and Natural Kinds. MIT Press. pp. 1-10.
    In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  7. Defending Aesthetic Internalism: Liking, Loving, and Wholeheartedness.James Harold - forthcoming - Philosophical Quarterly.
    Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Audiences’ Role in Generating Moral Understanding: Screen Stories as Sites for Interpretative Communities.James Harold - 2023 - In Carl Plantinga (ed.), Screen Stories and Moral Understanding: Interdisciplinary Perspectives. New York, New York: Oxford University Press. pp. 197-211.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Hermias: On Plato's Phaedrus.Harold A. S. Tarrant & Dirk Baltzly - 2017 - In Harold Tarrant, Danielle A. Layne, Dirk Baltzly & François Renaud (eds.), Brill’s Companion to the Reception of Plato in Antiquity. Leiden: Brill.
    This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Logicism and the ontological commitments of arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
    Download  
     
    Export citation  
     
    Bookmark   126 citations  
  11. Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
    This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  12. Autonomism Reconsidered.James Harold - 2011 - British Journal of Aesthetics 51 (2):137-147.
    This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  13. In Defence of the Letter of Fictionalism.Harold Noonan - 1994 - Analysis 54 (3):133-139.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  14. Modal realism, still at your convenience.Harold Noonan & Mark Jago - 2017 - Analysis 77 (2):299-303.
    Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Immoralism and the Valence Constraint.James Harold - 2008 - British Journal of Aesthetics 48 (1):45-64.
    Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  16. The Value of Fidelity in Adaptation.James Harold - 2018 - British Journal of Aesthetics 58 (1):89-100.
    © British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. On the Ancient Idea that Music Shapes Character.James Harold - 2016 - Dao: A Journal of Comparative Philosophy 15 (3):341-354.
    Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. On modal logics which enrich first-order S5.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (4):423 - 454.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  19. Some theorems on the expressive limitations of modal languages.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):13 - 26.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  20. Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  21. Cognitivism, non-cognitivism, and skepticism about folk psychology.James Harold - 2012 - Philosophical Psychology 25 (2):165 - 185.
    In recent years it has become more and more difficult to distinguish between metaethical cognitivism and non-cognitivism. For example, proponents of the minimalist theory of truth hold that moral claims need not express beliefs in order to be (minimally) truth-apt, and yet some of these proponents still reject the traditional cognitivist analysis of moral language and thought. Thus, the dispute in metaethics between cognitivists and non-cognitivists has come to be seen as a dispute over the correct way to characterize our (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. On The Sense and Reference of A Logical Constant.Harold Hodes - 2004 - Philosophical Quarterly 54 (214):134-165.
    Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  23. Reflections on Putnam, Wright and brains in vats.Harold W. Noonan - 1998 - Analysis 58 (1):59-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Ontological Commitments, Thick and Thin.Harold T. Hodes - 1990 - In George Boolos (ed.), Method, Reason and Language: Essays in Honor of Hilary Putnam. Cambridge University Press. pp. 235-260.
    Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  25. The composition of Fregean thoughts.Harold T. Hodes - 1982 - Philosophical Studies 41 (2):161 - 178.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  26. Balancing Freedom and Restraint: The Role of Virtue in Legal Analysis.Harold Anthony Lloyd - 2023 - Southern California Interdisciplinary Law Journal 32:315-353.
    Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. The Ethics of Non-Realist Fiction: Morality’s Catch-22.James Harold - 2007 - Philosophia 35 (2):145-159.
    The topic of this essay is how non-realistic novels challenge our philosophical understanding of the moral significance of literature. I consider just one case: Joseph Heller’s Catch-22. I argue that standard philosophical views, based as they are on realistic models of literature, fail to capture the moral significance of this work. I show that Catch-22 succeeds morally because of the ways it resists using standard realistic techniques, and suggest that philosophical discussion of ethics and literature must be pluralistic if it (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  28. Langdell and the Eclipse of Character.Harold Anthony Lloyd - forthcoming - University of Pittsburgh Law Review.
    Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Putting philosophy of political science on the map.Harold Kincaid & Jeroen Van Bouwel - 2022 - In Harold Kincaid & Jeroen van Bouwel (eds.), The Oxford Handbook of Philosophy of Political Science. New York: Oxford University Press. pp. 1-14.
    Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Literary Cognitivism.James Harold - 2015 - In Noël Carroll & John Gibson (eds.), The Routledge Companion to Philosophy of Literature. New York: Routledge.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Medical Models of Addiction.Harold Kincaid & Jacqueline Anne Sullivan - 2010 - In Don Ross, Harold Kincaid & David Spurrett (eds.), What Is Addiction? The MIT Press.
    Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Three Value Logics: An Introduction, A Comparison of Various Logical Lexica and Some Philosophical Remarks.Harold Hodes - 1989 - Annals of Pure and Applied Logic 43 (2):99-145.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. Is Xunzi’s Virtue Ethics Susceptible to the Problem of Alienation?James Harold - 2011 - Dao: A Journal of Comparative Philosophy 10 (1):71-84.
    In this essay I argue that if Kantian and consequentialist ethical theories are vulnerable to the so-called “problem of alienation,” a virtue ethics based on Xunzi’s ethical writings will also be vulnerable to this problem. I outline the problem of alienation, and then show that the role of ritual ( li ) in Xunzi’s theory renders his view susceptible to the problem as it has been traditionally understood. I consider some replies on Xunzi’s behalf, and also discuss whether the problem (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.
    I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Flexing the imagination.James Harold - 2003 - Journal of Aesthetics and Art Criticism 61 (3):247–258.
    I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  36. Where do sets come from?Harold T. Hodes - 1991 - Journal of Symbolic Logic 56 (1):150-175.
    A model-theoretic approach to the semantics of set-theoretic discourse.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. An Exact Pair for the Arithmetic Degrees Whose Join is Not a Weak Uniform Upper Bound.Harold T. Hodes - 1982 - Recursive Function Theory-Newsletters 28.
    Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.
    Download  
     
    Export citation  
     
    Bookmark  
  38. How To Do Things With Signs: Semiotics in Legal Theory, Practice, and Education.Harold Anthony Lloyd - forthcoming - University of Richmond Law Review.
    Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Can Expressivists Tell the Difference Between Beauty and Moral Goodness?James Harold - 2008 - American Philosophical Quarterly 45 (3):289-300.
    One important but infrequently discussed difficulty with expressivism is the attitude type individuation problem.1 Expressivist theories purport to provide a unified account of normative states. Judgments of moral goodness, beauty, humor, prudence, and the like, are all explicated in the same way: as expressions of attitudes, what Allan Gibbard calls “states of norm-acceptance”. However, expressivism also needs to explain the difference between these different sorts of attitude. It is possible to judge that a thing is both aesthetically good and morally (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Brill’s Companion to the Reception of Plato in Antiquity.Harold Tarrant, Danielle A. Layne, Dirk Baltzly & François Renaud (eds.) - 2017 - Leiden: Brill.
    31 chapters covering the Old Academy to Late Antiquity. See attached TOC.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Literature, Genre Fiction, and Standards of Criticism.James Harold - 2011 - Nonsite.Org 1 (4).
    Download  
     
    Export citation  
     
    Bookmark  
  42. Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics.Harold T. Hodes - 1986 - Journal of Philosophical Logic 15 (4):369 - 401.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Mixed Feelings: Conflicts in Emotional Responses to Film.James Harold - 2010 - Midwest Studies in Philosophy 34 (1):280-294.
    Some films scare us; some make us cry; some thrill us. Some of the most interesting films, however, leave us suspended between feelings – both joyous and sad, or angry and serene. This paper attempts to explain how this can happen and why it is important. I look closely at one film that creates and exploits these conflicted responses. I argue that cases of conflict in film illuminate a pair of vexing questions about emotion in film: (1) To what extent (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Good Legal Thought: What Wordsworth Can Teach Langdell About Forms, Frames, Choices, and Aims.Harold Anthony Lloyd - 2016 - Vermont Law Review 41 (1):1-22.
    Langdellian “science” and its “formalism” ignore ways form permits and even creates freedom of choice. For example, as Wordsworth notes, though the weaver is restricted by what his form of loom can weave, the weaver may nonetheless choose what and how he weaves. Furthermore, the loom creates weaving possibilities that do not exist without it. Such freedom alongside form is often lost on lawyers, judges, and teachers trained primarily in Langdellian redacted appellate cases where “facts” and other framed matters often (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Jumping through the transfinite: The master code hierarchy of Turing degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.
    Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Moderate monism, persistence and sortal concepts.Harold Noonan - manuscript
    Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Narrative in Law and Life: Some Frequently Asked Questions.Harold Anthony Lloyd - 2015 - Second Draft 28.
    This article briefly addresses the following questions: Why should we study narrative? Does narrative have a basic overarching form or forms? How does framing drive narrative? How do concepts drive narrative? What can we do when we lack the necessary concepts for the narrative we need to tell? Are there basic storylines that repeat? Are there basic character types that we reuse? Can narrative drive the results of a Supreme Court case? Can narrative drive transactional practice? How does narrative's importance (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Plenitude, Pluralism, and Neo-Lockean Persons.Harold Noonan - 2015 - Journal of Consciousness Studies 22 (11-12):108-131.
    The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1978 - Journal of Symbolic Logic 43 (3):601-612.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. (1 other version)Cardinality logics. Part II: Definability in languages based on `exactly'.Harold Hodes - 1988 - Journal of Symbolic Logic 53 (3):765-784.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 958